Regular Languages Closed Under Union/Intersection